/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

/**
 *
 * @author Nicolas
 */
public class HorlogeLamport {
    
    private int compteur;

    public HorlogeLamport() {
        this.compteur = 0;
    }
    
    //Incrémente l'horloge de 1
    public void incrementeHorloge()
    {
        compteur++;
    }
    
    //Incrémente l'horloge d'une valeur donnée
    public void incrementeHorloge(int valeur)
    {
        compteur+= valeur;
    }   
    
    
}
